Semi-commutations and Petri nets

Rewriting, Möbius Functions and Semi-Commutations

Soccer Goalkeeper Task Modeling and Analysis by Petri Nets

In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...

Closure of regular languages under semi-commutations

The closure of a regular language under a [partial, semi-] commutation I has been extensively studied. We present new advances on two problems of this area: (1) When is the closure of a regular language under [partial, semi-] commutation still regular? (2) Are there any robust classes of languages closed under [partial, semi-] commutation? We show that the class Pol(G) of polynomials of group l...

Comparing Petri Data Nets and Timed Petri Nets

Well-Structured Transitions Systems (WSTS) constitute a generic class of infinite-state systems for which several properties like coverability remain decidable. The family of coverability languages that they generate is an appropriate criterium for measuring their expressiveness. Here we establish that Petri Data nets (PDNs) and Timed Petri nets (TdPNs), two powerful classes of WSTS are equival...

EXHOST-PIPE Playing Plan Petri Nets and Particle Petri Nets

This paper presents two demos with EXHOST-PIPE: first we present an application of the tool to model and animate a plan Petri net in order to supervise and control a team of robots; second we focus on the particle Petri net-based estimation of a hybrid system and the detection of behavioural inconsistencies between an aircraft and its crew.